Proof of knowledge - PDFSEARCH.IO - Document Search Engine

Proof of knowledge
Results: 441

#	Item
151	On The (In)security Of Fischlin’s Paradigm P RABHANJAN A NANTH Microsoft Research India V IPUL G OYAL Microsoft Research India Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-24 10:18:26 Interactive proof system Non-interactive zero-knowledge proof Proof of knowledge IP Soundness Zero-knowledge proof NP Random oracle Oracle machine Cryptography Theoretical computer science Cryptographic protocols
152	Chapter 1: Origin of Computer Science Quotation from Preface Algorithmic Adventures From Knowledge to Magic Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-12 03:18:13 Logical consequence Semantics Predicate logic Propositional calculus Mathematical proof Algorithm Mereology Negation Continuum hypothesis Logic Mathematics Mathematical logic
153	Microsoft Word - DA standarden.doc Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2011-12-20 21:30:21 Key management Deniable authentication Ring signature Digital signature Authenticated encryption Zero-knowledge proof Proof of knowledge Cryptography Cryptographic protocols Public-key cryptography
154	Chapter 1: Origin of Computer Science Algorithmic Adventures From Knowledge to Magic Book by Juraj Hromkoviˇ Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-12 03:18:13 Boolean algebra Semantics Mathematical logic Logical connectives Mathematical proof Truth table Negation Equals sign Mathematics Propositional calculus Logic
155	Proofs that Yield All Languages Proof Add to Reading List Source URL: nakamotoinstitute.org Language: English - Date: 2014-03-23 11:48:58 Complexity classes Cryptographic protocols Probabilistic complexity theory Models of computation Interactive proof system Zero-knowledge proof NP IP Arthur–Merlin protocol Theoretical computer science Computational complexity theory Applied mathematics
156	An Accumulator Based on Bilinear Maps and Efficient Revocation for Anonymous Credentials Jan Camenisch1 , Markulf Kohlweiss2 , and Claudio Soriente3 1 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-12-22 05:56:52 Group signature Accumulator Proof of knowledge Diffie–Hellman problem XTR Diffie–Hellman key exchange Zero-knowledge proof Direct Anonymous Attestation Cryptography Cryptographic protocols Finite fields
157	— A merged version of this work and the work of [BGW12] appears in the proceedings of the Theory of Cryptography Conference - TCC 2013 — On the (In)security of the Fiat-Shamir Paradigm, Revisited Dana Dachman-Soled M Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-17 13:39:52 Proof theory Zero-knowledge proof Interactive proof system Commitment scheme IP Soundness Probabilistically checkable proof Random oracle Symbol Cryptography Theoretical computer science Cryptographic protocols
158	Reasoned Modelling: Combining Proof & Modelling Patterns Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Gudmund Grov Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Rippling Mathematical proof Knowledge Epistemology Mathematics Automated theorem proving Heuristics
159	Round-Optimal Zero-Knowledge Proofs of Knowledge for NP Li HongDa†1 , Feng DengGuo2 , Li Bao1 , Xu HaiXia1 1 State Key Lab of Information Security, Graduate University of Chinese Academy of Sciences, Beijing, C Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-12-15 09:42:20 Cryptographic protocols Probabilistic complexity theory Complexity classes Interactive proof system Proof of knowledge Zero-knowledge proof IP Soundness Commitment scheme Theoretical computer science Applied mathematics Computational complexity theory
160	The knowledge to change the world UB School of Social Work Faculty Research Report 2005–06 Living proof. research makes a difference. Table of Contents Add to Reading List Source URL: socialwork.buffalo.edu Language: English - Date: 2014-07-31 13:10:36 Gary L Kreps Social work with groups Academics Year of birth missing Academia

UPDATE